G-функция Барнса (обычно обозначаемая
G
(
z
)
{\displaystyle G(z)}
) — функция, которая расширяет понятие суперфакториала на поле комплексных чисел . Она связана с Гамма-функцией , K-функцией и постоянной Глейшера—Кинкелина .
G
{\displaystyle G}
-функция названа в честь английского математика Эрнеста Уильяма Барнса [1] .
Формально
G
{\displaystyle G}
-функция Барнса определяется (в форме произведения Вейерштрасса ) как
G
(
z
+
1
)
=
(
2
π
)
z
/
2
e
−
[
z
(
z
+
1
)
+
γ
z
2
]
/
2
∏
n
=
1
∞
[
(
1
+
z
n
)
n
e
−
z
+
z
2
/
(
2
n
)
]
{\displaystyle G(z+1)=(2\pi )^{z/2}e^{-\left[z(z+1)+\gamma z^{2}\right]/2}\prod _{n=1}^{\infty }\left[\left(1+{\frac {z}{n}}\right)^{n}e^{-z+z^{2}/(2n)}\right]}
где
γ
{\displaystyle \gamma }
— постоянная Эйлера—Маскерони .
Дифференциальные уравнения, функциональные уравнения и частные значения [ править | править код ]
G
{\displaystyle G}
-функция Барнса удовлетворяет разностному уравнению
G
(
z
+
1
)
=
Γ
(
z
)
G
(
z
)
{\displaystyle G(z+1)=\Gamma (z)G(z)}
Таким образом,
G
(
n
)
=
sf
(
n
−
2
)
{\displaystyle G(n)=\operatorname {sf} (n-2)}
, где
sf
(
x
)
{\displaystyle \operatorname {sf} (x)}
— суперфакториал
x
{\displaystyle x}
.
Например,
G
(
8
)
=
sf
(
6
)
=
6
!
⋅
5
!
⋅
4
!
⋅
3
!
⋅
2
!
⋅
1
!
=
24883200
{\displaystyle G(8)=\operatorname {sf} (6)=6!\cdot 5!\cdot 4!\cdot 3!\cdot 2!\cdot 1!=24883200}
если принять, что
G
(
1
)
=
1
{\displaystyle G(1)=1}
. В дифференциальном уравнении подразумевается, что
G
{\displaystyle G}
принимает следующие значение при целых значениях аргумента:
G
(
n
)
=
{
0
if
n
=
0
,
−
1
,
−
2
,
…
∏
i
=
0
n
−
2
i
!
if
n
=
1
,
2
,
…
{\displaystyle G(n)={\begin{cases}0&{\mbox{if }}n=0,-1,-2,\dots \\\prod _{i=0}^{n-2}i!&{\mbox{if }}n=1,2,\dots \end{cases}}}
таким образом
G
(
n
)
=
(
Γ
(
n
)
)
n
−
1
K
(
n
)
{\displaystyle G(n)={\frac {(\Gamma (n))^{n-1}}{K(n)}}}
где Γ — Гамма-функция и K — K-функция . Дифференциальное уравнение единственным образом определяет
G
{\displaystyle G}
-функцию, если добавлено условие выпуклости:
(
∀
x
≥
1
)
d
3
d
x
3
log
(
G
(
x
)
)
≥
0
{\displaystyle (\forall x\geq 1)\,{\frac {\mathrm {d} ^{3}}{\mathrm {d} x^{3}}}\log(G(x))\geq 0}
[2] .
Дифференциальное уравнение для
G
{\displaystyle G}
-функции и функциональное уравнение для Гамма-функции приводят к следующим функциональным уравнениям для
G
{\displaystyle G}
-функции, доказанным Германом Кинкелином :
G
(
1
−
z
)
=
G
(
1
+
z
)
1
(
2
π
)
z
exp
∫
0
z
π
x
cot
π
x
d
x
.
{\displaystyle G(1-z)=G(1+z){\frac {1}{(2\pi )^{z}}}\exp \int _{0}^{z}\pi x\cot \pi x\,dx.}
Схожая с Гамма-функцией,
G
{\displaystyle G}
-функция также имеет формулу умножения[3] :
G
(
n
z
)
=
K
(
n
)
n
n
2
z
2
/
2
−
n
z
(
2
π
)
−
n
2
−
n
2
z
∏
i
=
0
n
−
1
∏
j
=
0
n
−
1
G
(
z
+
i
+
j
n
)
,
{\displaystyle G(nz)=K(n)n^{n^{2}z^{2}/2-nz}(2\pi )^{-{\frac {n^{2}-n}{2}}z}\prod _{i=0}^{n-1}\prod _{j=0}^{n-1}G\left(z+{\frac {i+j}{n}}\right),}
где
K
(
n
)
=
e
−
(
n
2
−
1
)
ζ
′
(
−
1
)
⋅
n
5
12
⋅
(
2
π
)
(
n
−
1
)
/
2
=
(
A
e
−
1
12
)
n
2
−
1
⋅
n
5
12
⋅
(
2
π
)
(
n
−
1
)
/
2
.
{\displaystyle K(n)=e^{-(n^{2}-1)\zeta ^{\prime }(-1)}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}\,=\,(Ae^{-{\frac {1}{12}}})^{n^{2}-1}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}.}
Здесь
ζ
′
{\displaystyle \zeta ^{\prime }}
— это дзета-функция Римана ,
A
{\displaystyle A}
— это постоянная Глейшера—Кинкелина .
↑ E.W. Barnes, «The theory of the G-function», Quarterly Journ. Pure and Appl. Math. 31 (1900), 264—314.
↑ M. F. Vignéras, L'équation fonctionelle de la fonction zêta de Selberg du groupe mudulaire SL
(
2
,
Z
)
{\displaystyle (2,\mathbb {Z} )}
, Astérisque 61 , 235—249 (1979).
↑ I. Vardi, Determinants of Laplacians and multiple gamma functions , SIAM J. Math. Anal. 19 , 493—507 (1988).